61. Domain oriented systems development: practices and perspectives
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Reusability,، Computer software-- Development,، Systems engineering-- Computer programs
رده :
QA
76
.
76
.
R47
.
D66
2002
62. Eclipse: an integrated project support environment
پدیدآورنده :
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Computer software- Development,، Computer- aided software engineering
63. Eclipse development
پدیدآورنده : Bill Moore ... [et al.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development.,Computer-aided software engineering.
64. Emerging artificial intelligence applications in computer engineering :
پدیدآورنده : edited by Ilias Maglogiannis [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development.,Artificial intelligence.,Computer engineering.,Application software-- Development.,Artificial intelligence.,Computer engineering.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.
رده :
TK7885
.
E54
2007eb
65. Engineering applications software development : using Fortran 77
پدیدآورنده : Moses, Gregory A.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، FORTRAN )Computer program language(,، Computer software-- Development,، Engineering-- Data processing,، Application software
رده :
QA
76
.
73
.
F25
.
M67
1988
66. Engineering applications software development: using Fortran 77
پدیدآورنده : Moses, Gregory A
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، FORTRAN )Computer program language(,Development ، Computer software,، Engineering Data Processing
رده :
QA
76
.
73
.
F25
M65
1988
67. Engineering applications software development using fortran 77
پدیدآورنده : Moses, Gregory A.
کتابخانه: (Semnan)
موضوع : ، Fortran )computer program language(,، Computer software development,، Engineering- Data processing
رده :
QA
76
.
73
.
F25M6
68. Engineering modeling languages :
پدیدآورنده : Benoit Combemale, University of Rennes I, France, Robert B. France, Colorado State University, USA, Jean-Marc Jézéquel, University of Rennes I, France, Bernhard Rumpe, RWTH Aachen University and Fraunhofer FIT, Germany, James Steel, AEHRC, CSIRO, Australia, Didier Vojtisek, Inria, France.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software -- Development.,Engineering -- Data processing.,Modeling languages (Computer science)
رده :
TA343
.
B466
9999
69. Essential software testing :
پدیدآورنده : Greg Fournier.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.
رده :
QA76
.
76
.
T48
F68
2009eb
70. Ethics and technology: controversies, questions, and strategies for ethical computing
پدیدآورنده : Tavani, Herman T
کتابخانه: Special Library of University of Religions (Qom)
موضوع : Moral and ethical aspects ، Computer networks,، COMPUTERS / Software Development & Engineering / General
رده :
TK
5105
.
5
.
T385
2013
71. Extreme software engineering
پدیدآورنده : / Daniel H. Steinberg and Daniel W. Palmer
کتابخانه: Imam Reza International University library and information center (Khorasan Razavi)
موضوع : Computer software--Development,eXtreme programming,Software engineering
رده :
QA76
.
76
.
D47
S73
72. Extreme software engineering: a hands-on approach
پدیدآورنده : Steinberg, Daniel Howard
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Development ، Computer software,، Extreme programming,، Software engineering
رده :
QA
76
.
76
.
D47
S732
2004
73. Extreme software engineering: a hands on approach
پدیدآورنده : Steinberg, Daniel H.)Daniel Howard(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development,، eXtreme programming,، Software engineering
رده :
QA
76
.
76
.
D47
.
S732
2003
74. FM 2012
پدیدآورنده : Dimitra Giannakopoulou, Dominique Méry (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
I593
2012eb
75. Facts and fallacies of software engineering /
پدیدآورنده : Robert L. Glass.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,SOFTWARE DEVELOPMENT TOOLS.,Software Engineering,Software engineering.,Software Engineering.,SOFTWARE ENGINEERING.,SYSTEMS ENGINEERING.
رده :
QA76
.
758
.
G52
2003
76. Feature-oriented software product lines :
پدیدآورنده : Sven Apel [and 3 others]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development,Software engineering
رده :
QA76
.
758
77. First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Engineering-- Methodology,Congresses ، Computer software-- Development
رده :
TA
5
.
I415
1997
78. Formal methods and software engineering :
پدیدآورنده : Jing Sun, Meng Sun (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
79. Formal methods for multicore programming
پدیدآورنده : \ Marco Bernardo , Einar Broch Johnsen (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرم‌افزار -- تولید -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
76
.
F6
2015
E-Book
,
80. Foundations of computer software
پدیدآورنده : Radu Calinescu, Ethan Jackson (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
M66
2011
